$\forall$${\it the\_es}$:event\_system\{i:l\}, $e$:es{-}E(${\it the\_es}$).
\\[0ex]($\uparrow$es{-}isrcv(${\it the\_es}$; $e$)) $\Rightarrow$ es{-}causl(${\it the\_es}$; es{-}sender(${\it the\_es}$; $e$); $e$)